выполнимая формула

выполнимая формула
satisfiable formula вчт.

Русско-английский словарь по электронике. 2009.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”